solve sat problem